
\begin{thebibliography}{5}

\bibitem{zeller}
Andreas Zeller. "Why Programs Fail".Elsevier ISBN 978-0-12-374515-6. U.S. 

\bibitem{wa}
A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "Automatic Workarounds for Web Applications," in FSE'10: Proceedings of the 2010 Foundations of Software Engineering conference, New York, NY, USA, 2010, pp. 237-246

\bibitem{raw}
A. Carzaniga, A. Gorla, N. Perino, and M. Pezzè, "RAW: runtime automatic workarounds," in ICSE'10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (Tool Demo), New York, NY, USA, 2010, pp. 

\bibitem{wa1}
A. Carzaniga, A. Gorla, and M. Pezzè, "Healing Web applications through automatic workarounds," International Journal on Software Tools for Technology Transfer (STTT), vol. 10, iss. 6, pp. 493-502, 2008.

\bibitem{dyn}
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre: DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451

\bibitem{alloy}
Jackson, D. Alloy: a lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology 11, 2, 2002, 256–290. 


\bibitem{taco}
Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias. ``Analysis of Invariants for Efficient Bounded Verification''. 



\end{thebibliography}
\end{document}
